\relax 
\providecommand\hyper@newdestlabel[2]{}
\catcode`"\active
\catcode`-\active
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\citation{1}
\citation{2}
\select@language{czech}
\@writefile{toc}{\select@language{czech}}
\@writefile{lof}{\select@language{czech}}
\@writefile{lot}{\select@language{czech}}
\@writefile{toc}{\contentsline {chapter}{\IeC {\'U}vod}{1}{chapter*.1}}
\citation{3}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}P\IeC {\v r}ipomenut\IeC {\'\i } pojm\IeC {\r u}}{3}{chapter.1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{monotonie}{{1.0.1}{3}{}{veta.1.0.1}{}}
\newlabel{nerode}{{1.0.2}{3}{}{veta.1.0.2}{}}
\newlabel{kontext}{{1.0.3}{3}{}{veta.1.0.3}{}}
\newlabel{Myhill-Nerode}{{1.0.6}{4}{}{veta.1.0.6}{}}
\newlabel{Myhill-preorder}{{1.0.8}{5}{}{veta.1.0.8}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Dobr\IeC {\'a} p\IeC {\v r}eduspo\IeC {\v r}\IeC {\'a}d\IeC {\'a}n\IeC {\'\i }}{6}{chapter.2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{wqo}{{2.0.9}{6}{}{veta.2.0.9}{}}
\newlabel{genMyh}{{2.0.10}{7}{}{veta.2.0.10}{}}
\newlabel{genMyh2}{{2.0.11}{7}{}{veta.2.0.11}{}}
\newlabel{monwqo}{{2.0.13}{8}{}{veta.2.0.13}{}}
\newlabel{subwqo}{{2.0.14}{8}{}{veta.2.0.14}{}}
\newlabel{soucinwqo}{{2.0.16}{9}{}{veta.2.0.16}{}}
\newlabel{Nash-Williams}{{2.0.19}{10}{}{veta.2.0.19}{}}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}P\IeC {\v r}episovac\IeC {\'\i } syst\IeC {\'e}my}{11}{chapter.3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Thue}{{3.0.21}{11}{}{veta.3.0.21}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Unit\IeC {\'a}rn\IeC {\'\i } p\IeC {\v r}episovac\IeC {\'\i } syst\IeC {\'e}my}{12}{section.3.1}}
\newlabel{unitar}{{3.1.3}{12}{}{veta.3.1.3}{}}
\newlabel{unitar1}{{3.1.4}{12}{}{veta.3.1.4}{}}
\newlabel{unitar2}{{3.1.5}{13}{}{veta.3.1.5}{}}
\newlabel{unitar3}{{3.1.6}{13}{}{veta.3.1.6}{}}
\newlabel{nevyhnutelnost}{{3.1.7}{13}{}{veta.3.1.7}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Obecn\IeC {\'e} bezkontextov\IeC {\'e} p\IeC {\v r}episovac\IeC {\'\i } syst\IeC {\'e}my }{13}{section.3.2}}
\citation{2}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}Permutabiln\IeC {\'\i } jazyky }{14}{section.3.3}}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}Kop\IeC {\'\i }rovac\IeC {\'\i } syst\IeC {\'e}my}{15}{section.3.4}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}Monoid\IeC {\'a}ln\IeC {\'\i } reprezentace}{17}{chapter.4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{monoid}{{4.0.7}{17}{}{veta.4.0.7}{}}
\citation{1}
\citation{2}
\citation{3}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Z\IeC {\'a}v\IeC {\v e}r}{19}{chapter.5}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\bibcite{1}{1}
\bibcite{2}{2}
\bibcite{3}{3}
\@writefile{toc}{\contentsline {chapter}{Literatura}{21}{chapter*.2}}
